/*
    Copyright 2009 Spencer B. Koehler, Ph.D.

    This file is part of the Brillig Toolkit.

    The Brillig Toolkit is free software: you can redistribute it and/or modify
    it under the terms of the GNU Lesser General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    The Brillig Toolkit is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU Lesser General Public License for more details.

    You should have received a copy of the GNU Lesser General Public License
    along with The Brillig Toolkit.  If not, see <http://www.gnu.org/licenses/>.
*/
package org.brillig.util.logic;


/**
 * Interface for the container for the result of a truth function.
 * <p>
 * 
 * @author Spence Koehler
 */
public interface LogicalResult <T> {

  /**
   * Get the input to the truth function that yielded this result.
   */
  public T getInput();
  
  /**
   * Determine whether this result is true or false.
   */
  public boolean isTrue();
  
  /**
   * Get the truth function that generated this result for the input.
   */
  public TruthFunction<T> getTruthFunction();
}
